本书是计算理论领域的经典著作，被国外多所大学选用为教材。本书以注重思路、深入引导为特色，系统地介绍计算理论的三大主要内容：自动机与语言、可计算性理论和计算复杂性理论。同时，对可计算性和计算复杂性理论中的某些高级内容作了重点讲解。全书通过启发性的问题、精彩的结果和待解决问题来引导读者挑战此领域中的高层次问题。新版的一大亮点是增加了更多习题、教辅资料和部分习题解答，更加有利于教学。 全书叙述由浅入深、详略得当，重点突出，不拘泥于技术细节。可作为计算机专业高年级本科生和研究生的教材，也可作为相关专业教师和研究人员的参考书。

《计算理论导引（原书第3版）》由计算理论领域的知名权威 Michael Sipser 所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。

本书由计算机理论领域的知名权威Michaael Sipser所撰写。他以独特的视角，系统地介绍了计算机理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。约大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下涵的概念。同样，对于算法描述，均以直观的文字而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。新版根据多年来使用本书的教师和学生的建议进行了改进，并对课堂测试题进行了全面的更新，每章末均有样例解答。 本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。

本书由计算机理论领域的知名权威Michaael Sipser所撰写。他以独特的视角，系统地介绍了计算机理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。约大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下涵的概念。同样，对于算法描述，均以直观的文字而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。新版根据多年来使用本书的教师和学生的建议进行了改进，并对课堂测试题进行了全面的更新，每章末均有样例解答。 本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。

《计算理论导引（原书第3版）》由计算理论领域的知名权威 Michael Sipser 所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。

本书不仅介绍了与“计算”相关的普适知识，同时深入讲解隐藏在知识和技术背后的计算思维相关的思想和方法。旨在为非计算机专业学生今后设计、构造和应用各种计算系统求解学科问题奠定思维基础，帮助学生提高解读真实世界系统并解决复杂问题的能力。

本书不仅介绍了与“计算”相关的普适知识，同时深入讲解隐藏在知识和技术背后的计算思维相关的思想和方法。旨在为非计算机专业学生今后设计、构造和应用各种计算系统求解学科问题奠定思维基础，帮助学生提高解读真实世界系统并解决复杂问题的能力。

本书是一本经典的数论名著，取材于作者在牛津大学、剑桥大学等大学授课的讲义。主要包括素数理论、无理数、费马定理、同余式理论、连分数、用有理数逼近无理数、不定方程、二次域、算术函数、数的分划等内容。每章章末都提供了相关的附注，书后还附有译者编写的相关内容的最新进展，便于读者进一步学习。. 本书可供数学专业高年级学生、研究生、大学老师以及对数论感兴趣的专业读者学习参考。

本书是一本经典的数论名著，取材于作者在牛津大学、剑桥大学等大学授课的讲义。主要包括素数理论、无理数、费马定理、同余式理论、连分数、用有理数逼近无理数、不定方程、二次域、算术函数、数的分划等内容。每章章末都提供了相关的附注，书后还附有译者编写的相关内容的最新进展，便于读者进一步学习。. 本书可供数学专业高年级学生、研究生、大学老师以及对数论感兴趣的专业读者学习参考。

新闻理论教程（第二版），ISBN：9787300126043，作者：杨保军 著